一种精确程序最坏执行时间分析方法

Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,提出一种精确最坏执行时间分析方法,在高层分析中,引入一种标记方法,对带有标记的Java类文件进行反编译提取控制流程,得到每一个基本块中的Java 字节码指令的最坏情况下的执行次数,在底层分析中,建立结合流水线和高级缓存影响的时间模型,得到每条指令所对应的执行时间,最后结合高层分析和底层分析的结果得到程序的最坏情况下的执行时间。实验表明,该方法可以使对实时Java 程序的最坏情况执行时间预测更加安全和精确。     

核电站数字化反应堆保护系统停堆响应时间分析

为了评价出核电站数字化反应堆保护系统停堆响应的最大时间,根据数字化反应堆保护系统结构,分析出保护系统的响应过程须经过AI输入、IO总线通讯、CPU运算、网络通讯、DO输出处理。并基于DCS定周期扫描的运行方式,得出了各处理过程所需最大响应时间的计算方法,DCS停堆响应时间的评价值就是各部分最大响应时间的累加。最后提出了可缩短响应时间的改进方法。     

实现系统安全的技术方案分析

首先讨论了安全模型P2DR的理论概念及其体系结构,依据安全模型的四要素关系及时间值概念,给出了系统安全的定义公式。对安全防御技术和入侵检测技术分别进行了优缺点分析,得出两种技术需有效结合才能符合P2DR安全模型的安全要求。安全联动技术是当前系统安全研究的热点,属于一种新型的安全整合技术,提出了该技术在研究过程中需要解决的相关问题,以满足技术的开放性要求。     

基于C8051F340的温控仪表设计

针对一类温控对象的特点,采用改进型单神经元PID算法,设计一种以C8051F340为核心的温度控制仪表。得到了在仿真环境下的的测试数据和图形,经实验证实该温控仪表对加热炉等温控对象具有很好的控制效果。     

基于能量感知的工业无线网络时间同步协议

时间同步技术是工业无线网络的关键技术,节能和延长网络生存时间也是无线传感器网络研究领域的热点问题。该文综合考虑网络中节点的剩余能量和工业应用对时间同步精度的要求,通过优化传统的泛洪时间同步协议,提出了基于能量感知的、高可靠性工业无线网络时间同步协议。仿真分析表明,该文提出的时间同步协议,与传统协议相比,可以降低节点用于时间同步的能耗,延长网络生存时间。并且,该协议符合W IA-PA工业无线网络国家标准。     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。     

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。     

IEEE802．11协议下移动自组网节点自私行为研究

对IEEE802．11协议下移动自组网中节点的MAC层自私行为进行了研究,描述了自组网节点利用减少退避时间等方法占用媒体资源造成网络性能严重下降的问题。分析了节点自私行为对其退避时间、吞吐量、数据重传次数的影响。提出了一种基于退避时间、吞吐量、重传次数指标的节点自私行为检测方法,并提出了一种利用邻接节点信息表的节点自私度的检测和惩戒机制。实验证明以上方法能有效识别节点的自私行为,在一定程度上解决了节点自私行为问题。     

基于图形处理器的水面仿真

水面效果的仿真可大幅提高自然环境仿真的真实感,传统对于CPU的仿真存在占用CPU时间和系统资源的缺点,针对存在问题,建立了基于图形处理单元（GPU）的水面仿真方法,讨论水面特效在GPU上的实现、以及水面网格在GPU中的重构。因为运算以及水面网格重构都在GPU中完成,充分利用GPU强大的图形处理能力,因此不会造成额外的系统开支,并且增强了对水面细节的表现,使得水面的逼真度和实时性增强。     

基于STK卡的OTP认证机制的设计与研究

针对目前OTP(一次性口令)认证机制存在的缺陷,本文提出了一种基于手机STK卡的OTP认证机制,给出了相关的认证模型和认证协议。该方法将空中下载菜单技术和混沌理论中的混沌序列技术融入到OTP的生成过程中,通过手机STK卡计算生成OTP来进行认证,能有效地弥补当前OTP认证机制的不足,具有明显的安全性和实用性。